Left-determined Model Categories and Universal Homotopy Theories
نویسندگان
چکیده
We say that a model category is left-determined if the weak equivalences are generated (in a sense specified below) by the cofibrations. While the model category of simplicial sets is not left-determined, we show that its non-oriented variant, the category of symmetric simplicial sets (in the sense of Lawvere and Grandis) carries a natural left-determined model category structure. This is used to give another and, as we believe simpler, proof of a recent result of D. Dugger about universal homotopy theories.
منابع مشابه
Coherence, Homotopy and 2-Theories
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a Quillen model category structure on the category of 2-theories and 2-theory-morphisms where the weak equivalences are biequivalences of 2-theories. A biequiv...
متن کاملUniversal Homotopy Theories
Model categories were introduced by Quillen [Q] to provide a framework through which one could apply homotopy theory in various settings. They have been astonishingly successful in this regard, and in recent years one of the first things one does when studying any homotopical situation is to try to set up a model structure. The aim of this paper is to introduce a new, but very basic, tool into ...
متن کاملHomotopy theory and classifying spaces
What is a homotopy theory T? – Examples of homotopy theories (Tpair presentation) – The homotopy category Ho(T) – Examples of homotopy categories – Model category: (C, E) with extras – Examples of model categories (C, E) – Dividends from a model category structure on (C, E) – Equivalences between homotopy theories – T(C, E) ∼ T(C′, E ′) for model categories – Examples of equivalences between ho...
متن کاملTopological Conformal Field Theories and Calabi-yau Categories
This paper concerns open, closed, and open-closed topological conformal field theories. We show that the category of open topological conformal field theories, at all genera, is homotopy equivalent to a category of Calabi-Yau A∞ categories. For each such, we show that there is a universal closed TCFT, which is the initial element in the category of compatible open-closed TCFTs. The homology of ...
متن کاملn-RELATIVE CATEGORIES: A MODEL FOR THE HOMOTOPY THEORY OF n-FOLD HOMOTOPY THEORIES
We introduce, for every integer n ≥ 1, the notion of an n-relative category and show that the category of the small n-relative categories is a model for the homotopy theory of n-fold homotopy theories, i.e. homotopy theories of . . . of homotopy theories. 1. Background and motivation In this introduction we • recall some results of (higher) homotopy theory, and • explain how they led to the cur...
متن کامل